CLAM[2]

Constraint Language Abstract Machine

The underlying abstract machine in the implementation of CLP(R). Based on the WAM.

"An Abstract Machine for CLP(R)", Joxan Joffar et al, Proceedings of the ACM SIGPLAN 92 Conference on Programming Languages and Implementation, 1992, pp.128-139.